<?php session_start();

/* do not change anything please */
header('Content-type: text/css');

print <<<_CSS

@import url(styles/${_SESSION['style']}/stylesheet.css);

_CSS;

?>